add-ecl-act(A;m)
== let Ta,ksa,ia,ga,ha,aa,ea = A in 
== <Ta
== ,ksa
== ,ia
== ,ga
== ,ha
== ,(n,k',s,v,x. if n=m ha(0,ga(k',s,v,x))  reduce(m,b. ha(m,x)  b;false;0.ea)
== ,(n,k',s,v,x. else aa(n,k',s,v,x) fi)
== ,ea> 

latex

Definitions	let a,b,c,d,e,f,g = u in v(a;b;c;d;e;f;g), if b t else f fi, i=j, p  q, b, reduce(f;k;as), p  q, false
FDL editor aliases	add-ecl-act